Programming in logic without logic programming

Programming in logic without logic programming

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving for...

Programming with Logic without Logic Programming

We extend a logic-based agent and production system language, LPS, from the single agent to the multi-agent case in which agents coordinate their behaviour through the medium of a shared state, which is viewed as a model-theoretic structure. In the extended language MALPS, each agent can be viewed as a collection of reactive rules: conditions  conclusions, which have both a procedural and a de...

Logic programming without default

? We present a reformulation of the framework of logic programming without default negation, rst suggested by Kakas et al. The resulting formalism is called priority logic programming. Under this formulation, priority is a simple concept: that a rule r of higher priority than r 0 means the application of r blocks that of r 0. We present a transformation from normal logic programs to priority pr...

Programming in logic without Prolog

Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new functions and new relations on the basis of those given in the interpretation of a logical theory. We provide this mechanism by creating a compositional semantics on top of the classical semantics. In this approach, v...

Multi-paradigm Logic Programming Compositional Logic Programming